Page Info

Displays information about the current DVI page in the window, bringing it to the front if necessary. This item is disabled if the view window is closed. The information displayed includes: Note that if the DVI file uses virtual fonts then ``Page Info'' won't necessarily detect all missing PK files. A missing PK file referenced in a virtual font will only be detected if a character requiring that PK file is used somewhere on the current page. Use dvips and create a .ps file if you want to detect all missing PK fonts.